A MAX-CUT formulation of 0/1 programs

نویسنده

  • Jean B. Lasserre
چکیده

We consider the linear or quadratic 0/1 program P : f = min{cx + xFx : Ax = b; x ∈ {0, 1}}, for some vectors c ∈ R, b ∈ Z, some matrix A ∈ Zm×n and some real symmetric matrix F ∈ Rn×n. We show that P can be formulated as a MAX-CUT problem whose quadratic form criterion is explicit from the data of P. In particular, to P one may associate a graph whose connectivity is related to the connectivity of the matrix F and AA, and P reduces to finding a maximum (weighted) cut in such a graph. Hence the whole arsenal of approximation techniques for MAX-CUT can be applied. On a sample of 0/1 knapsack problems, we compare the lower bound on f∗ of the associated standard (Shor) SDP-relaxation with the standard linear relaxation where {0, 1} is replaced with [0, 1] (resulting in an LP when F = 0 and a quadratic program when F is positive definite). We also compare our lower bound with that of the first SDP-relaxation associated with the copositive formulation of P.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

2 a Quick Review 3 Applications of Duality 3.1 Max-flow = Min-cut

1 Overview In the previous lecture, we introduced several algorithms for solving linear programs, such as simplex algorithm , ellipsoid algorithm, and interior point algorithm. In this lecture, let us look at some typical applications of duality to graph theory. Recall that the primal of a linear program with n variables and m constraints can be written as min c x|Ax ≥ b, x ≥ 0, x ∈ R n The dua...

متن کامل

Semideenite Relaxations for Max-cut

We compare several semideenite relaxations for the cut polytope obtained by applying the lift and project methods of Lovv asz and Schrijver and of Lasserre. We show that the tightest relaxation is obtained when aplying the Lasserre construction to the node formulation of the max-cut problem. This relaxation Q t (G) can be deened as the projection on the edge subspace of the set F t (n), which c...

متن کامل

BDDs in a Branch & Cut Framework

Branch & Cut is today’s state-of-the-art method to solve 0/1-integer linear programs. Important for the success of this method is the generation of strong valid inequalities, which tighten the linear programming relaxation of 0/1IPs and thus allow for early pruning of parts of the search tree. In this paper we present a novel approach to generate valid inequalities for 0/1IPs which is based on ...

متن کامل

Approximation Complexity of Nondense Instances of MAX-CUT

We prove existence of approximation schemes for instances of MAXCUT with Ω( 2 ∆ ) edges which work in 2 O ( ∆ ε2 ) nO(1) time. This entails in particular existence of quasi-polynomial approximation schemes (QPTASs) for mildly sparse instances of MAX-CUT with Ω( n 2 polylogn) edges. The result depends on new sampling method for smoothed linear programs that approximate MAX-CUT. On the other hand...

متن کامل

Lecture 17 ( Nov 3 , 2011 ) : Approximation via rounding SDP : Max - Cut

The next technique we learn is designing approximation algorithms using rounding semidefinite programs. This was first introduced to obtain improved approximation algorithms for the problem of Max-Cut. A trivial 1 2-approximation is to obtain a random partition of the vertices; i.e. place every vertex v ∈ V into set S with probability 1/2. We get E(weight of cut) = 1 2 e∈E w(e) ≥ 1 2 opt and th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Oper. Res. Lett.

دوره 44  شماره 

صفحات  -

تاریخ انتشار 2016